Dfa Minimization In Toc